The SeaView Security
نویسندگان
چکیده
A multilevel database is intended to provide the security needed for database systems that contain data at a variety of classifications and serve a set of users having different clearances. This paper describes a formal security model for a such a system. The model is formulated in two layers, one corresponding to a reference monitor that enforces mandatory security, and the second an extension of the standard relational model, defining multilevel relations and formalizing policies for labeling new and derived data, data consistency, and discretionary security. The model also defines application-independent properties for entity integrity, referential integrity, and polyinstantia-
منابع مشابه
SeaView version 4: A multiplatform graphical user interface for sequence alignment and phylogenetic tree building.
We present SeaView version 4, a multiplatform program designed to facilitate multiple alignment and phylogenetic tree building from molecular sequence data through the use of a graphical user interface. SeaView version 4 combines all the functions of the widely used programs SeaView (in its previous versions) and Phylo_win, and expands them by adding network access to sequence databases, alignm...
متن کاملThe SeaView Security 593 Model
A multilevel database is intended to provide the security needed for database systems that contain data at a variety of classifications and serve a set of users having different clearances. This paper describes a formal security model for a such a system. The model is formulated in two layers, one corresponding to a reference monitor that enforces mandatory security, and the second an extension...
متن کاملSeaview: Using Fine-Grained Type Inference to Aid Log File Analysis
Log files contain a lot of valuable information for debug and monitoring. However, sense-making using them is a cumbersome task because they are typically stored and interpreted as plain text. We propose a mechanism to restore some semantics to log files, by performing static analysis on a Java program to automatically infer fine-grained dimensional information for the values being logged [5]. ...
متن کاملCover Story
Cover story has been a controversial concept for the last twenty years. This concept was first introduced in 1991 in the SEAVIEW project [2] as an explanation for the polyinstantiation technique used in multilevel databases, i.e. databases which support a multilevel security policy. To illustrate the concept of polyinstantiation, consider the example of multilevel relational database that conta...
متن کاملThe Multilevel Relational ( MLR ) Data Model 3 SHIP OBJ DEST
Many multilevel relational data models have been proposed, and diierent models ooer diierent advantages. In this paper, we adapt and reene several of the best ideas from previous models and add new ideas to build the new Multilevel Relational (MLR) data model. MLR provides multilevel relations with element-level labeling, as a natural extension of the traditional relational data model. MLR intr...
متن کامل